Mathematical logic - PDFSEARCH.IO - Document Search Engine

Mathematical logic
Results: 6679

#	Item
371	Efficient Secure Computation Optimization Raphael Urmoneit Florian Kerschbaum Technische Universität Add to Reading List Source URL: www.fkerschbaum.org Language: English - Date: 2013-08-28 05:10:42 Complexity classes Theoretical computer science Computational resources Mathematical logic Computability theory Algorithm Recursion NP DSPACE FO Exponential time hypothesis Time complexity
372	U UNPLUGGED Graph Paper Programming Lesson time: 20 Minutes Basic lesson time includes activity only. Introductory and Wrap-Up suggestions can be used to delve deeper when time allows. Add to Reading List Source URL: code.org Language: English - Date: 2016-08-19 22:19:30 Algorithm Mathematical logic Theoretical computer science Graph Graph coloring Pedagogy
373	Exam Logical Verification December 18, 2008 There are six (6) exercises. Answers may be given in Dutch or English. Good luck! Exercise 1. This exercise is concerned with first-order propositional logic (prop1) and simply Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-01-12 07:22:28 Mathematical logic Type theory Formal methods Classical logic Metalogic Lambda calculus First-order logic Propositional calculus Tautology Dependent type Well-formed formula Logic programming
374	CS: Introduction to the Design and Analysis of Computer Algorithms Prof. Qiang (Shawn) Cheng Department of Computer Science Southern Illinois University Carbondale Add to Reading List Source URL: www.cs.siu.edu Language: English - Date: 2016-01-25 00:01:16 Algorithms Operations research Mathematical logic Theoretical computer science Jon Kleinberg va Tardos Homework Introduction to Algorithms SL
375	Proving Termination of Programs Automatically with AProVE? J. Giesl1 , M. Brockschmidt2 , F. Emmes1 , F. Frohn1 , C. Fuhs3 , C. Otto, M. Pl¨ ucker1 , P. Schneider-Kamp4 , T. Str¨oder1 , S. Swiderski, and R. Thiemann5 1 Add to Reading List Source URL: www.dcs.bbk.ac.uk Language: English - Date: 2014-05-16 12:08:08 Logic in computer science Mathematical logic Theoretical computer science Static program analysis Termination analysis Automated theorem proving Prolog Unification Rewriting Algorithm Recursion ECLiPSe
376	Supplementary for Structural-RNN: Deep Learning on Spatio-Temporal Graphs Ashesh Jain1,2 , Amir R. Zamir1 , Silvio Savarese1 , and Ashutosh Saxena3 Stanford University1 , Cornell University2 , Brain Of Things Inc.3 {ashe Add to Reading List Source URL: asheshjain.org Language: English - Date: 2016-07-13 23:04:50 Artificial neural networks Computational neuroscience Deep learning Long short-term memory Mathematical logic Artificial intelligence Algorithm Motion
377	c 2007 by Dafna Shahaf. All rights reserved. LOGICAL FILTERING AND LEARNING IN PARTIALLY OBSERVABLE WORLDS BY Add to Reading List Source URL: www.cs.huji.ac.il Language: English - Date: 2010-08-28 23:41:01 Algorithm Mathematical logic Theoretical computer science Program optimization
378	Feferman on Godel and Free Will Abstract Feferman surveys the work of Godel and Turing, and, although not himself holding a mechanist view of the mind as a whole, raises objections to the anti-mechanist argument put fo Add to Reading List Source URL: users.ox.ac.uk Language: English - Date: 2010-11-17 13:56:05 Guggenheim Fellows Mathematical logic Cognitive science Materialism Mechanism Naturalism George Boolos Logic Modal logic Mathematical proof Solomon Feferman Contradiction
379	The Combined KEAPPA - IWIL Workshops Proceedings Proceedings of the workshops Knowledge Exchange: Automated Provers and Proof Assistants and The 7th International Workshop on the Implementation of Logics held at Add to Reading List Source URL: www.cs.miami.edu Language: English - Date: 2008-11-17 12:13:47 Automated theorem proving Automated reasoning Proof assistant First-order logic Type theory TarskiGrothendieck set theory Mizar and Alcor Geoff Sutcliffe Jordan curve theorem Isabelle Mathematical logic Reasoning system
380	Microsoft Word - cp1597_01_SegmentationAlgorithmParameters.docx Add to Reading List Source URL: dicom.nema.org Language: English - Date: 2016-06-14 13:06:54 Algorithm Mathematical logic Theoretical computer science Image segmentation TeX

UPDATE